dseq($d$;$a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$eqof(($d$.2)($a$))